Shark Robot Repair: Cliff Sensor Replacement